package org.andes.help.struct;

/**
 * Created by IntelliJ IDEA.
 * User: wenfeix
 * Date: 2011-2-1
 * Time: 10:23:37
 * To change this template use File | Settings | File Templates.
 */
public class StudentEntry  extends Entry{
    /*
(defstruct (StudentEntry (:print-function print-StudentEntry))
  Id	 ;Workbench assigned Identifier.
  ;; When the workbench says something is deleted, this is the ID that it uses.
  Prop   ;Entry proposition (Equalp to SystemEntry-prop.)
  State           ;One of correct, inefficient, dead-path, forbidden, incorrect.
  CInterp         ;The Selected set of any SystemEntries that constitute
  ;; the final Interpretation of the student entry.
  PossibleCInterps ;A list of all the sets of possible correct interpretations.
  Verbatim             ;The student's entry as they typed it.
  ParsedEqn            ;will contain the lisp (prefixed) form of the parsed equation
  ErrInterp            ;nil or an error interpretation
  ;; Some non-eqn student entries carry associated equation entries with them.
  ;; These associated entries are dependent in that they must be deleted if
  ;; the main entry is deleted.
  ;; Dependent equation entries hang off the following fields in
  ;; the main entry:
  ImplicitEqns         ;list of any associated implicit equation entries
  GivenEqns	       ;list of any associated given value equation entries
  (Time (get-current-htime))  ;The entry's time.
  ;; Typically the time it was create, but not necessarily.
  )
    
     */

    private int Id;
    
}
